Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: ttaylorr.com

• 3D computer graphics
• Computer graphics
• Computer-aided engineering
• Polygon mesh
• STL
• Constructive solid geometry
• 3D modeling
• Mesh
• Geometry processing

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Combinatorial optimization
• Mathematical logic
• Mathematical optimization
• Operations research
• Algorithm
• Sheaf
• Branch and bound
• Universal property
• Equation solving
• Boolean algebra

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer programming
• Manycore processor
• Data parallelism
• General-purpose computing on graphics processing units
• Parallel programming model
• Multi-core processor
• Thread
• CUDA
• OpenMP

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: incarnate.uwplse.org

• 3D computer graphics
• Computer graphics
• Computer-aided engineering
• Polygon mesh
• STL
• Constructive solid geometry
• 3D modeling
• Mesh
• Geometry processing

Building a Parallel Computer System for $18,000 that Performs a Half Peta-Flop per Day Forrest H Bennett III John R. Koza

Source URL: www.genetic-programming.com

WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s

Source URL: www.zachtronics.com

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science POINTER ANALYSIS! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br